bitkeeper revision 1.1159.1.149 (414571beGjCT9GRPH4uHYLTD5rD7RA)
authorcl349@freefall.cl.cam.ac.uk <cl349@freefall.cl.cam.ac.uk>
Mon, 13 Sep 2004 10:09:02 +0000 (10:09 +0000)
committercl349@freefall.cl.cam.ac.uk <cl349@freefall.cl.cam.ac.uk>
Mon, 13 Sep 2004 10:09:02 +0000 (10:09 +0000)
Fix debug output.

xen/arch/x86/memory.c

index cdaa1a89b191d02ed3ea363e2507021c7024830f..f7601038f1995f3b0acd40f7950b8717e64bb280 100644 (file)
@@ -1989,9 +1989,12 @@ void ptwr_status(void)
     page = &frame_table[pfn];
 
     PTWR_PRINTK(PP_ALL, ("    pl2e %p l2e %08lx pfn %08lx taf %08x/%08x\n",
-                         pl2e, l2_pgentry_val(*pl2e), pfn,
-                         frame_table[pfn].u.inuse.type_info,
-                         frame_table[pfn].u.inuse.domain->domain));
+                         pl2e, l2_pgentry_val(*pl2e), l1_pgentry_val(
+                             linear_pg_table[(unsigned long)pl2e >>
+                                             PAGE_SHIFT]) >> PAGE_SHIFT,
+                         frame_table[
+                             l2_pgentry_to_pagenr(*pl2e)].u.inuse.type_info,
+                         frame_table[pfn].u.inuse.type_info));
 }